class ALREADY
    feature { ANY }
        A1 alias "+", A2 alias "+" (a : INTEGER) : INTEGER
        do 
        end
        frozen A3 alias "+"  (a : INTEGER )   : INTEGER 
        do 
        end
        A4 alias "+" (a : REAL) : REAL
        do
        end
end